Functional Pearl: Enumerating the rationals
نویسندگان
چکیده
منابع مشابه
The Role of the Scholars` Tradition in Formulating Moral Propositions, with an Emphasis on Muhaqqiq Isfahani`s View
The issue of the source of ethical value is one of the most important issues in the field of metaethics. Moral philosophers have come up with different perspectives on this issue. Some Islamic thinkers, including Muhaqqiqi Isfahani, have considered the rationals` tradition as the formulating cause for moral propositions. This research is intended to emphasize on the viewpoint of Muhaqqiqi Isfah...
متن کاملOn Euclid's Algorithm and Elementary Number Theory
Algorithms can be used to prove and to discover new theorems. This paper shows how algorithmic skills in general, and the notion of invariance in particular, can be used to derive many results from Euclid’s algorithm. We illustrate how to use the algorithm as a verification interface (i.e., how to verify theorems) and as a construction interface (i.e., how to investigate and derive new theorems...
متن کاملبررسی دلایل استفاده و عدم استفاده از روشهای پیشگیری از بارداری در زنان روستاهای منطقه غرب تهران در سال 73-1372
A survey was made to study the rational given by women living in rural area of west Tehran for using or not using family planning measures (1994). The purposes of this study were to investigate the reasons for using or not using family planning measures and it's relation to personal characteristics of the subjects. The Samples were grouped in smaller groups: - Those using effective family plann...
متن کاملFunctional and Physical Properties of Instant Beverage Powder Made From Two Different Varieties of Pearl Millet
The objective of this experiment was to assess the effects of malting, extrusion and a combination of both processes on the physical and functional properties of the pearl millet flour (PMF) and pearl millet based instant beverage powder (PMIBP) produced. PMF and PMIBP were prepared by malting, extrusion and a combination of malting and extrusion cooking from two different varieties of pearl mi...
متن کاملUsing functional equations to enumerate 1324-avoiding permutations
We consider the problem of enumerating permutations with exactly r occurrences of the pattern 1324 and derive functional equations for this general case as well as for the pattern avoidance (r = 0) case. The functional equations lead to a new algorithm for enumerating length n permutations that avoid 1324. This approach is used to enumerate the 1324-avoiders up to n = 31. We also extend those f...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
- J. Funct. Program.
دوره 16 شماره
صفحات -
تاریخ انتشار 2006